#include "syslib.h"

PUBLIC int sys_getIRQcnt(irq_nro, respuesta)
int irq_nro;			/* Nro de IRQ del cuál devolver el contador */
long* respuesta;	/* La respuesta... */
{
  message m;
  int r;

  m.m1_i1 = irq_nro;

  r = _taskcall(SYSTASK, SYS_GETIRQCNT, &m);

  *respuesta = m.m2_l1;

  return r;
}
